Logic simulation - PDFSEARCH.IO - Document Search Engine

Logic simulation
Results: 497

#	Item
31	University of Paderborn Software Engineering Group E. Kindler On the semantics of EPCs: Add to Reading List Source URL: bpm2005.loria.fr Language: English - Date: 2005-09-12 10:45:10 Logic in computer science University of Paderborn Simulation Kindler Electronic Prescriptions for Controlled Substances Semantics
32	Use of Simulation to Evaluate Performance of Timetable Concepts New Timetable for the Oslo-area Elin Reitan Sven-Jöran Schrader NSB Passenger Trains, Planning & Analysis Add to Reading List Source URL: www.opentrack.ch Language: English - Date: 2013-01-21 11:00:16 Electronic design automation Transportation planning Operations research Simulation Logic simulation Public transport timetable Scientific modelling
33	Beyond Simulation: Large-Scale Distributed Emulation of P2P Protocols Nathan S. Evans Christian Grothoff Add to Reading List Source URL: static.usenix.org Language: English - Date: 2011-08-25 17:04:56 GNUnet File sharing Peer-to-peer Emulator Logic simulation
34	1 Position: Senior / Analog Design Engineer Location: Hong Kong / Shenzhen Responsibilities: Add to Reading List Source URL: www.solomon-systech.com Language: English - Date: 2016-05-17 22:18:32 Hardware description languages Electronic design automation Electricity Logic design Electronic circuit simulation Verilog-A Electrical network Electronic circuit Electronics SPICE Verilog Logic simulation
35	HSVCHiSilicon Verification Conference 2014 February 19-20, 2014, Bantian, Longgang District,Shenzhen, P.R.China Call for Participation HiSilicon Technologies is calling for participants to join its 1st inte Add to Reading List Source URL: www.hisilicon.com Language: English - Date: 2013-10-31 06:19:52 Formal methods Electronic design automation Functional verification Post-silicon validation FPGA prototyping Logic simulation Formal verification
36	HPC Lecture Notes Simulation and the N-Body Problem Thomas Fogal November 18, 2014 Add to Reading List Source URL: hpc.uni-due.de Language: English - Date: 2014-11-18 13:24:24 Parallel computing Gravitation SIMD Supercomputer N-body simulation Simulation Logic simulation N-body problem
37	L UDOCORE: A Logical Game Engine for Modeling Videogames Adam M. Smith, Mark J. Nelson, and Michael Mateas Abstract— L UDOCORE is a logical “game engine”, linking game rules as reasoned about by game designers to t Add to Reading List Source URL: game.itu.dk Language: English - Date: 2010-08-10 12:41:00 Leisure Mathematical logic Video game development Logic Game design Conceptual model Metaphor Simulation Gameplay The Trace Knowledge representation and reasoning Artificial intelligence
38	Verilator: Open Simulation - Growing Up http://www.veripool.org/papers Wilson Snyder Cavium Networks Add to Reading List Source URL: www.veripool.org Language: English - Date: 2013-06-06 20:23:28 Electronic design automation Electronic engineering Digital electronics Hardware description languages Logic design Verilator SystemC Verilog Simulation Logic simulation
39	Integrating two Simulation Modules with a General Parallelization Framework David Charypar Fabian Märki Kay W. Axhausen Add to Reading List Source URL: www.strc.ch Language: English - Date: 2011-05-06 03:55:57 Digital electronics Electronic design automation Electronic engineering Simulation Scientific modeling Operations research PTV VISSIM Scientific modelling Traffic simulation Logic simulation Agent-based model Computer simulation
40	Activity Planning in a Continuous Long-Term Travel Demand Microsimulation Maxim Janzen Kay W. Axhausen Institute for transport planning and systems Add to Reading List Source URL: www.strc.ch Language: English - Date: 2015-05-18 09:01:32 Transport Transportation planning Electronic design automation Operations research Simulation Transportation forecasting Scientific modelling Logic simulation Traffic flow Computer simulation